1
00:00:04,070 --> 00:00:02,629
in some sense there is no Theory of

2
00:00:07,130 --> 00:00:04,080
Everything

3
00:00:10,850 --> 00:00:07,140
right any formal system that is Rich

4
00:00:15,169 --> 00:00:10,860
enough to model the axiom's arithmetic

5
00:00:16,730 --> 00:00:15,179
is is either inconsistent or incomplete

6
00:00:18,529 --> 00:00:16,740
and we call it girdles in completeness

7
00:00:21,529 --> 00:00:18,539
theorem because we don't take the

8
00:00:23,929 --> 00:00:21,539
inconsistency thing too seriously so

9
00:00:27,650 --> 00:00:23,939
that means no matter what

10
00:00:30,410 --> 00:00:27,660
scientific theory we have

11
00:00:32,210 --> 00:00:30,420
it's not the final word there'll always

12
00:00:34,310 --> 00:00:32,220
be if the if the theory is Rich enough

13
00:00:36,170 --> 00:00:34,320
to do arithmetic and most scientific

14
00:00:37,670 --> 00:00:36,180
theories are they wouldn't be taken

15
00:00:38,990 --> 00:00:37,680
seriously so they're rich enough to do

16
00:00:42,110 --> 00:00:39,000
arithmetic so they're rich enough to

17
00:00:45,110 --> 00:00:42,120
have a girdle statement that that is